4
Hardver- és szoftverrendszerek verifikációja

Hardver- és szoftverrendszerek verifikációja

Ésik Zoltán, Gombás Éva, Németh L. Zoltán
Năm:
2011
Ngôn ngữ:
hungarian
File:
PDF, 2.76 MB
0 / 0
hungarian, 2011
7
Modern Automata Theory

Modern Automata Theory

Zoltán Ésik, Werner Kuich
Ngôn ngữ:
english
File:
PDF, 1.11 MB
0 / 0
english
9
A számítástudomány alapjai : egyetemi tananyag

A számítástudomány alapjai : egyetemi tananyag

Ésik Zoltán
Năm:
2011
Ngôn ngữ:
hungarian
File:
PDF, 787 KB
0 / 0
hungarian, 2011
10
Automaták és formális nyelvek példatár : egyetemi tananyag

Automaták és formális nyelvek példatár : egyetemi tananyag

Ésik Zoltán, Gombás Éva, Iván Szabolcs
Năm:
2011
Ngôn ngữ:
hungarian
File:
PDF, 2.02 MB
0 / 0
hungarian, 2011
15
Iteration Theories: The Equational Logic of Iterative Processes

Iteration Theories: The Equational Logic of Iterative Processes

Stephen L. Bloom, Zoltán Ésik
Năm:
1993
Ngôn ngữ:
english
File:
PDF, 43.04 MB
0 / 0
english, 1993
16
Recent Advances in Formal Languages and Applications

Recent Advances in Formal Languages and Applications

Zoltán Ésik, Carlos Martin-Vide, Victor Mitrana
Năm:
2006
Ngôn ngữ:
english
File:
PDF, 8.96 MB
0 / 0
english, 2006